// ==++==
// 
//   Copyright (c) 2008 Microsoft Corporation. All rights reserved.
//   License: MS-Pl
//
// ==--==

using System;
using System.Collections.Generic;
using System.Text;
using Microsoft.Pex.Framework.TestFrameworks;
using Pex.NUnit;
using Microsoft.Pex.Framework.Instrumentation;
using NUnit.Framework;
//using Microsoft.Pex.Framework.Security;

// instrumentation
[assembly: PexInstrumentAssembly(typeof(TestFixtureAttribute))]

// partial trust support
//[assembly: PexFullTrustAssembly(typeof(TestFixtureAttribute))]

// loads the NUnit test framework
[assembly: NUnitTestFramework]
